Interesting idea--prove it!

The Discriminating Mind: Define It, Prove It

Learning to prove: The idea of heuristic examples

Proof is an important topic in the area of mathematics curriculum and an essential aspect of mathematical competence. However, recent studies have revealed wide gaps in student's understanding of proof. Furthermore, effective teaching to prove, for example, by Schoenfeld's approach, is a real challenge for teachers. A very powerful and empirically well founded method of learning mathematics, wh...

It’s Not Magic: I Can Prove It

Our work presents a new approach to developing, analyzing, and proving correctness of programs intended for execution on a quantum computer. We provide tools to write quantum as well as classical specifications, develop quantum and classical solutions for them, and analyses various properties of quantum specifications and quantum programs, such as implementability, time and space complexity, an...

It's Doomed; We Can Prove It

Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or they require strong user interaction. We propose to avoid this deficiency by defining a new class of errors. A program fragment is doomed if its execution will inevitably fail, in whatever state it is started. We use a formal verif...

Your System is Secure? Prove it!

Computer security is an old problem which has lost none of its relevance — as is evidenced by the annual Security issue of ;login:. The systems research community has increased its attention to security issues in recent years, as can be seen by an increasing number of security-related papers published in the mainstream systems conferences SOSP, OSDI, and USENIX. However, the focus is primarily ...